- логический автомат с памятью
- Telecommunications: memory logistor
Универсальный русско-английский словарь. Академик.ру. 2011.
логический автомат с памятью
Смотреть что такое "логический автомат с памятью" в других словарях:
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
